61. On the Syllogism
پدیدآورنده : / by Augustus De Morgan
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and Mathematical,Syllogism,منطق ریاضی,قیاس
رده :
BC135
.
D4O5
1966
62. Paradoxes
پدیدآورنده : / Roy T. Cook
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Paradox,Logic, Philosophy,پارادوکس,منطق ریاضی -- فلسفه
رده :
BC199
.
C6
,
P32
2013
63. Perspectives in Computational Complexity
پدیدآورنده : \ Manindra Agrawal, Vikraman Arvind Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
64. Philosophy and logical syntax
پدیدآورنده : /by Rudolf Carnap.,ک‍ارن‍اپ,Carnap
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی,زبان,فلسفه
رده :
BC
۱۳۵
/
ک
۲
ف
۲ ۱۳۱۴
65. Philosphie=Mathematiques et vocabulaire philosophique
پدیدآورنده : /Par L.Dugas.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی
رده :
QA
۹
/
د
۸
ف
۹ ۱۲۹۸
66. Propositional calculus
پدیدآورنده : /P.H. Nidditch
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی
رده :
BC
۱۳۵
/
ن
۹
پ
۴ ۱۳۴۱
67. Quantifiers, Quantifiers, and Quantifiers
پدیدآورنده : \ Alessandro Torza Editor
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Language and logic,Logic, symbolic and mathematical,زبان و منطق,منطق ریاضی,a03,a05,a03,a05,Grammar, Comparative and general -- Quantifiers.,دستور زبان تطبیقی -- سورها
رده :
BC
57
.
Q25
2015
E-Book
,
68. Reasoning about uncertainty
پدیدآورنده : / Joseph Y. Halpern
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : Uncertainty (Information theory),اس‍ت‍دلال,منطق ریاضی
رده :
Q
۳۷۵
/
ه
۲
ر
۹ ۱۳۸۲
69. Set theory and logic
پدیدآورنده : / Robert R. Stoll
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : نظریه مجموعه‌ها,منطق ریاضی
رده :
QA
۲۴۸
/
الف
۵
س
۴ ۱۳۴۲
70. Special Topics in Mathematics for Computer Scientists
پدیدآورنده : \ Ernst-Erich Doberkat
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
..
M35S6
2015
E-Book
,
71. Symbolic Logic
پدیدآورنده : \ Irving M Copi
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical. ,منطق ریاضی
رده :
BC135
.
C58S9
2015
72. Symbolic logic
پدیدآورنده : / by Irving M. Copi
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی
رده :
BC
۱۳۵
B
۱۳۷۸
73. <The> Arché papers on the Mathematics of Abstraction
پدیدآورنده : \ edited by Roy T. Cook.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
74. <The> Elements of Advanced Mathematics
پدیدآورنده : \ Steven G. Krantz
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Mathematics,Mathematics -- Textbooks,Logic, Symbolic and mathematical -- Textbooks,ریاضیات,ریاضیات -- کتاب‌های درسی,منطق ریاضی -- کتاب‌های درسی
رده :
E-Book
,
75. <The> Essential Turing
پدیدآورنده : \ Edited by B. Jack Copeland
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Turing, Alan, 1912-1954.,ت‍ری‍ن‍گ، آل‍ن م‍ات‍ی‍س‍ن، ۱۹۱۲ - ۱۹۵۴م.
رده :
E-Book
,
76. The Logic Book
پدیدآورنده : / Merrie Bergmann, James Moor, Jack Nelson.,برگمن,Bergmann
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی,حمل (منطق)
رده :
BC
۱۳۵
/
ب
۴
ل
۲ ۱۳۸۲
77. <The> Logical Foundations of Scientific Theories
پدیدآورنده : \ Décio Krause and Jonas R. B. Arenhart
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical,منطق ریاضی
رده :
E-Book
,
78. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : / edited by Stewart Shapiro.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : ریاضیات,منطق ریاضی, -- فلسفه, -- فلسفه
رده :
QA
۸
/
۴
/
آ
۷ ۱۳۸۴
79. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : /by Kurt Godel.,گودل,Godel
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : ریاضیات,منطق ریاضی, -- فلسفه
رده :
QA
۹
/
گ
۹
ک
۲ ۱۳۴۵
80. The essence of logic
پدیدآورنده : / John J. Kelly
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی,کامپیوتر
رده :
QA
۹
/
ک
۸
ال
ف
۵ ۱۳۷۶
